/* This less file isn't included by any main file */
.el0 { border-style: ridge; }
